Jewish Interpretation of Prophecy

Moslem, Christian, and Jewish Cultural Interaction in Sefardic Talmudic Interpretation

The general participation of Iberian Jewry in the scholastic culture of the high middle ages is very well known. Less well known is the continuing in uence the Aristotelian tradition had on Spanish and Sefardic Jewish intellectual life in the Ž fteenth and sixteenth centuries, including its most particularly Jewish of activities, the interpretation of the Talmud. In this period, there appears ...

The Prophecy of Undo

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

Prelude, prophecy, and promise.

The Influence of the Ethos of Conflict on Israeli Jews’ Interpretation of Jewish–Palestinian Encounters

Computation by Prophecy

We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined by applying the delay monad to the co-domai...